Section: New Results

Model Representation

As part of our work on core techniques for the specification and internal representation of models we would like to highlight:

• Improved model typing. In order to represent metadata more accurately, we have worked on a functional typing system for megamodeling [18] . The basic idea is to consider transformations as functions, and to give them functional types that can facilitate the reasoning on them.

• Virtual EMF [21] for the transparent Composition, Weaving and Linking of Models. Virtual EMF facilitates the global manipulation of an heterogeneous but related set of models by providing the illusion of having a single and unified view of the modeled system.

• EMF Profiles [25] , a mechanism to enable users annotate existing models without polluting them (i.e. without directly changing their content).

• Batch scripting support for the retrieval and manipulation of models from model repositories thanks to our new language MoScript [24]